A. Visser, "Unprovability of small inconsistency"